Speed up opt. Now constant folding is done in the eq, no need to traverse the graph to get constant at each node.