check_fundef v0.1