assert Debug.log("insert variable", symbol);
assert Debug.log("insert variable: ", symbol);
    public Variable insertVariable(Symbol symbol, Variable variable) {        assert symbol.isTerm() : Debug.show(symbol);        assert Debug.log("insert variable", symbol);        Object value = variables.put(symbol, variable);        assert value == null : Debug.show(symbol);        return variable;    }