signature FINDESCAPE =
sig
    val transverseProg : Absyn.exp -> unit
end