====
Line comment
====

# This is a line comment
x ^ y # comment

---

(proof
  (comment)
  (block
  (expression
    (and (variable) (variable)))
  (comment)))


====
Block comment
====

/* This is a block comment */
/* And so is this
x ^ y
*/

---

(proof
  (comment)
  (comment))