Remove useless verboseness; Recover heuristics workarounds...; Improvements in the executive