Added unit tests for to "toString family" of Fact