pub type Simplifications = FxHashMap<Term, Vec<(Vec<ComponentVar>, Term)>>;
pub struct Simplifications { /* private fields */ }