%terminates D (eval D _).