VERY basic test for: forAllK + ifConditions