added to the abstraction_set example adding pattern1[0] next