Modifies the symbolic suffixes enclosing them into brackets and symplifying them with the z3 simplification algorithm
Modifies the symbolic suffixes enclosing them into brackets and symplifying them with the z3 simplification algorithm

b-mueller/mythril,b-mueller/mythril,b-mueller/mythril,b-mueller/mythril