Use constant propagation for evaluation