Add some patterns we can handle currently at the comment of class "SMT2FileGenerator.java"
Commit before handling 'SSA'