Pass boolean instead of cli to StructuralFormula