Enforce all arguments of LLVMBoolPred to have the same type
Disallow creation of new identifiers in the precondition