Implement @pure-unless-callable-impure

Implement @pure-unless-callable-impure #18538