Add FACTS_PROVED and FACTS_DERIVED instructions.