let br1 = [T.Id ""] in
let br2 = List.rev (T.Apply (w, "assumption") :: script None) in
let text = "non linear rewrite" in
st, [T.Branch ([br2; br1], ""); T.Cut (name, ity, text)]
let br1 = [T.Id ""] in
let br2 = List.rev (T.Apply (w, "assumption") :: script None) in
let text = "non linear rewrite" in
st, [T.Branch ([br2; br1], ""); T.Cut (name, ity, text)]