public HistoryElement changeContext(Collection<Namespace> namespaces, Collection<Variable> variables) {
        return new HistoryElement(expression, variables, namespaces);
    }
public HistoryElement changeContext(Collection<Namespace> namespaces, Collection<Variable> variables)