Test for RuleF