Returns whether the given edit Variable is present in the solver.
bool hasEditVariable(Variable variable) => _edits.containsKey(variable);