bugfixes in evaluateOcc