Revert "tmp workaround for comprehension bug in js backend" (83c51e65ca1ddab1acd243ac047b99ed1210993b) for now because it makes the
compilation fail for the JVM backend (see #1011).