logic :: LExpr :: size
# The size of the logical expression. fun size: Int do return 1
redef fun size do return e1.size + e2.size + 1
redef fun size do return e.size + 1