Commented emulated get-value and get-unsat-cores in trace.