(* This module translates [ERTL] into [LTL]. *)

val translate_program: ERTL.program -> LTL.program