Restored checks for predicates.

Checks in tests are now added in the same order:
1. Verify ISA
2. Verify presence/absence of a mask
3. match the number of parameters

Appended the tests if any of those were missing.

Author: paschalis-mpeis