Added facts about who lives in which house for Einstein puzzle.
Added new attribution precondOrderDependent to Rule.
Added function to quickly check if a rule is possible to help to achieve a subgoal when the rule is ungrounded.
Added logic for quickly check if an ungrounded rule is possible to help a subgoal  in checking precondition fitness