Faster check for `*->/2` as a built-in Prolog control construct