Fixed recently added annotation.
Replaced predicate strategy with priority-returning strategy.
Prioritized synthetic and not synthetic functions.
Moved max priority constant to PriorityProvider.