Refactor ALogicTree => LogOp + BoolVar + CNF
Merge branch 'feature-cnf' into develop
Merge branch 'develop' into feature-fixParse