pub type MutableRewrites = Vec<(VariableId, VariableId)>;
pub struct MutableRewrites { /* private fields */ }