Fix the syntax of reduction predicates

[wizard7377]

Make it so that reduction predicates have full order and call patterns

%reduces (< | > | <= | => | =) <ORDER> <ORDER> <CALLPATS>