We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
a788350
Solved a bug that occurred when parsing a goal composed of an empty and formula:
and
(:goal (and))
