Add name to requires and asserts
This is implemented using an attribute that is detected when a transformation introduces the hypothesis. Added for assertion_kind and requires.
This is implemented using an attribute that is detected when a transformation introduces the hypothesis. Added for assertion_kind and requires.