val constant_propagation: Top.program -> Top.program