Explicit naming of annotations #19
Description
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