Revamped StatementToFormulaWithUFVisitor to make it use the new Expression class
Finished the new initializers implementation in predicate analysis with UFs
 String literal initializers and implicit initialization can be now disabled with the options
Minor indentation fixes
Fixed array subscript expression handling
Added reimplementation of visit() for binary and unary expressions
 as ExpressionToFormulaWithUFVisitor now isn't inherited from ExpressionToFormulaVisitor
Fixed NPE and a ClassCastException in makeAssignment()
Bug fixes
 -- Missing extraction of Formula from Value
 -- Missing possible implicit cast to pointer
 -- NPE
Bug fixes: missed case in array expressions and argument casts in undefined function calls
Bug fixes in nondet assignments, assignments to unaliased locations and initialization