Partial Evaluation Plugin.