Comment Comment by ambition Solving this problem in general is a major area of research. Look up "Partial Evaluation." parent ambition 16 years ago