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