assert Debug.log("insert template", symbol);
assert Debug.log("insert template: ", symbol);
    private Template insertTemplate(Symbol symbol, Template template) {        assert symbol.isType() : Debug.show(symbol);        assert Debug.log("insert template", symbol);        Object value = templates.put(symbol, template);        assert !classdefs.containsKey(symbol) : Debug.show(symbol);        assert value == null : Debug.show(symbol);        return template;    }