Problem with `is_ex_the_function'