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