[Analysis] refactor the nusmv model
Ecore model for NuSMV has 3 kinds of assignments: Normal, INIT, and next.
I noticed that we only use the INIT assignment.
Remove the remaining assignments.
(from redmine: issue id 3045, created on 2017-08-21, closed on 2017-11-09)