BVTCK-32 Tests for definition and declaration of method constraints