fixed rules with multiple for-Suffixed predicates and added some tests.