In CREATE CONVERSION, test that the given function is a valid conversion