s/_BDDVARIABLES/_VARS
Get rid of some class hierarchy
Implement logic expressions in C

WARNING: this branch is still a WIP
Use stdlib abs function
wip