Fix assumeFalse import.