Add set local check_function_bodies=false;