Moved smt formulas to separate file + indent