Modified contract for containsBug7 so that value field remains unchanged.
Updated case study for metod contains.