error-proof UI
Add termination for the synthezied VM