remove redundant calculations from big step interpreter