It is possible that when they did the clutch they pinched a wire since they were ont hat sid eof the motor. Check to see if the sensor is cracked by chance maybe the hit it or the plug may not be connected securely.