let b = "banana.l"
in 
   idx(b) +
   (| "overwrite.l" -> b 
      [L->L,X->X]
      L.over  =  '($1 \ $2) + $2'       ;
      X.over  =  '($1 \ src($2)) + $2'  ;
   |)