Immutable cache containing translation of DSL nodes to Z3 SMT expressions Allow to store all kinds of translation and preserve type information
Created by kdelmas on 04/11/16.
Extension of immutable cache with mutable methods
Trait for utility operations on Z3 SMT terms