Java backend: commented out an assertion that will fail on logik.k