Add FACTS_PROVED instruction.