Fix declare-fun/define-fun in dumps; resolves bugs 408 and 385; also fix a segfault in smt2 printer
Fix bugs/issues with missed-t-prop dump output
Permit setOption(decision-mode)
Fix lambda handling in CVC parser