Fixing Boolean Evaluator in the case we include boolean expressions with != and !=> operators & erasing comments in BDDApply.java, BDDSiftingReduce.java
Fixing comments and basic refactoring.