#| This exercise has no tests.
Any solution is a right answer. |#
The procedure cannot determine evaluation model
beacuse both the applicative-order and 
the normal-order will enter an infinte loop when 
encountering `(P)`.