(1) Commented out recent changes that turned out to be unnecessary:
- Original test/var/identity information for fake instantiations
- Skipping variablization of LTIs with g_id of 0
- Consolidating redundancies in instantiated conditions
- Repropagating identities for fake instantiations
(2) Modified add_goal_test to handle conjunctive tests in id element of
    a condition.  Needed to do this to eliminate fixing instantiated
    conditions.