add tests for InputFact and KnownFact. Add a missing test to RulesReturnTest