extended tests, and added method to Fact to get public methods