object method vexp : Logic.exp -> Logic.exp Logic.visitAction method vpred : Logic.pred -> Logic.pred Logic.visitAction end