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.
Edited by DAILLER Sylvain
This is implemented using an attribute that is detected when a transformation introduces the hypothesis. Added for assertion_kind and requires.