fun readFormula(string: String): Formula
Read string as a HUCTLp formula.
Note that this does not support the full HUCTLp file format (references, includes, etc.). Only one formula can be present in the string.