Starting the load of S. She files
New boolean evaluation
BDD graphs were wrong.