fix strangely reemergent parenthesis bug in IP_SSAHardavForwardProblem