(* TERM STRUCTURE ***********************************************************)
(* Policy: term metavariables : A, B, C, D, M, N
(* TERM STRUCTURE ***********************************************************)
(* Policy: term metavariables : A, B, C, D, M, N