refactoring: binary addition
changed assertion error messages
restructured cb_syntree_eval() function
restructured value comparison in cb_syntree_eval() function
updated unit-test for logical gates
restructured binary and unary operations in cb_syntree_eval() function