Fix for two SMT tests
SMT tests are apparently not run too frequently. Two tests were failing:
- extra vop introduced by SPS - test corrected
- SIGSEGV during manipulation of accidental local copy of
smt_ico_object- copy corrected to reference
That change could be treated as somewhat related to issue #28 (closed), although it was actually part of much earlier balance_object branch.