# bugfixes in iterativeOcc