support code blocks as quantifiers on jvm as well