public void addProduction(Production term) {
        term.setReplacing(replacing);
        term.setPosition(productions.size());
        productions.add(term);
    }
True to replace by the production, false to add it
container-search/src/main/java/com/yahoo/prelude/semantics/rule/ProductionList.java