Verified support for canonicalization of decorated functions and methods.