remB2I option
simplify unaries
check vars only when react to fine event
clean
clean
auto-detect csts in arithm
Merge branch 'develop' into feat-jg
Merge branch 'feat-jg' into develop