Added unit tests for Fact generation