decision/ : save d_prvsIndex in JH
Merge pull request #3 from kbansal/1.0.x

decision/ : save d_prvsIndex in JH
More complete fix for bug 484 (includes fixes for records and tuples).
work on bug484 regression --check-models bug