#12 Analysis: Undeclared math def not caught

[MSC]

Definition NC_Name_LEQV(M, N: NC): B = (|M.Name| <= |N.Name|);

-- Name_Order cel omitted
...

Facility Name_Prioritizer_Fac is Prioritizer_Template(NC, 5, NC_Name_GEQV_Error)
realized by Queue_Based_Merge_Sort_Realiz(Name_Order);