Java program that translates E programs to their semantically equivalent C programs