Fixed major merge errors in synthProblem