fun String.toDirFormula(): DirFormula
fun String.toExpression(): Expression
fun String.toFormula(): Formula
fun String.toHUCTLp(onlyFlagged: Boolean = false): Map<String, Formula>