deal with terminators uniformly in narrowing and resolve#175

namin merged 1 commit into

mainmidspiral/LemmaScript:mainfrom

terminatormidspiral/LemmaScript:terminatorCopy head branch name to clipboard