control flow rule helper