Interim stage: just before compileIntoRules and bottomUp