Performance bugfixing in the optimizer (PassFold)