created aspects for sequence properties and pre and post conditions