+ selective exclusion of TMappings reasoning for user-defined predicates
+ selective exclusion of TMappings reasoning for user-defined predicates