Fix FastImpliesEq

Start decomposing the scheduling search heuristic

Woot, 0 FAILURES !!
clean output
choco config file is now useless