Restore HMM saving during analysis
Add existentials language feature