Not supporting two different arities in two different environments

Integraal fails when we want two different arities in two different environments for a same predicate.