let transfer modif m =
    if modif then Modif else if m = Start then SameVal else m