Make assume to use the new Fact-based macro.