(* This module translates [ERTL] into [LTL]. *)
val
translate_program:
ERTL
.
program
->
LTL
.
program