let
is_null = e_app1 mk_is_null