IsMinimalNonmonomial( G ) 
returns true if the solvable group G is a minimal nonmonomial group,
and false otherwise.
A group is called minimal nonmonomial if it is nonmonomial,
and all proper subgroups and factor groups are monomial.
The solvable minimal nonmonomial groups were classified by van der Waall (see~vdW76).
    gap> IsMinimalNonmonomial( Sl23 );
    true
    gap> IsMinimalNonmonomial( S4 );
    false 
GAP 3.4.4