more tests for parameter predicates in signatures