<div dir="ltr"><br><div class="gmail_extra" style>Ah, well ... arbitrary predicates ... certainly a desirable incremental improvement to the current feature set for refinement types.  </div><div class="gmail_extra" style><br>
</div><div class="gmail_extra" style>Bummer. </div></div>