Added more unit tests for the Fact class