let guard ti e = p_app2 mk_iguard (e_app0 (mk_iformat ti)) e