No matches were found for subject:"\[isabelle\-dev\] set_comprehension_pointfree simproc losing bounds"