I. Berta

• Static elimination