Partial evaluation on the symbolic structure of the problem.