Reordering lemmas in L to Hyb + proof for value preservation
 L to Hyb, relation preserves some of the reductions