let mem_access m p =  Fol.Tapp ("acc", [m; p])