inprovements in precedence-predicates