let p_call f xs = Fol.p_app f xs