Fixed a bug in partialCaseClassDerivative