replaced BoNeSim by BooleSim