check if later bugs subsume earlier ones

also added adapt and invariant to bugs_statem