More cleanup. Add FACTS_CONSUMED instruction.