support comma-separated lists of variables for parsing, e.g. "ForAll x,y,z GreaterThan(x, y) and GreaterThan(y, z) implies GreaterThan(x, z)"
support comma-separated lists of variables for parsing, e.g. "ForAll x,y,z GreaterThan(x, y) and GreaterThan(y, z) implies GreaterThan(x, z)"

PhDP/Manticore,PhDP/Manticore