do not perform a constant propagation inside the dummy main method