A @behavior must contains a @requires.