sat replaced by BDD as default property
prepareAST function in EnforceTreeHelper now also removes dead nodes
Merge remote-tracking branch 'origin/master'