Update Partial evaluation example