We should change the naming conventions for hypothesis corresponding to annotations in Velvet goals. - [ ] By default, annotations should get anonymous names in Velvet goals - [ ] We should make it possible for user to add names for annotations explicitly in Veil style i.e. `invariant [size_le] x <= y`
We should change the naming conventions for hypothesis corresponding to annotations in Velvet goals.
invariant [size_le] x <= y