let
guard ti e = p_app1 (mk_iguard ti) e