fix NoSolve in composite case