These examples are taken from the original partial evaluator, presented in:
Albert, Elvira and Hanus, Michael and Vidal, Germ{\'{a}}n:
A Practical Partial Evaluator for a Multi-Paradigm Declarative Language,
Journal of Functional and Logic Programming, 2002