getFundefOf

Retrieve the fundef wrapper for the given function, or throw an exception if no such fundef could be found.