commit of verification long standing branch

Yes. Also, it used to be the case the collections in the lhs of rules would respect the isLHSView predicate. Now, this is no longer the case.