When i use a predicate starting with a capital letter, elpi fails (expectedly), but the error message is really cryptic:
Fatal error: exception File "src/compiler/compiler.ml", line 989, characters 13-19: Assertion failed
Elpi could use a better error message