Fix a bug with free synthesis and complicated pdspecs.
Fix a crash when handling crashed expressions in refinement
Replace "CodeHint.chosen(...)" with "..." upon termination.
This allos us to keep the chosen statements while we're executing, but removes them automatically when the execution finishes so they don't bother the user.