[rules-dev] predicate constraints - "arrow" symbol