Bug fixes pour PostfixSolver