Add a shifter predicate for user's functions.