[FEATURE] Use SMT map in the rewriting rule for TLA+ set filters

[rodrigo7491]

An evaluation made directly on .smt2 files indicates that SMT maps can improve the performance of operations on SMT arrays that interact with arrays' values, in contrast to simply handling the arrays themselves, e.g., set union. Since the rewriting rule for the TLA+ set filter operator produces constraints based on a set's elements, it would benefit from the use of SMT maps.