changing ensure_sort_datatype call in narrowing quickcheck (missed in 1491b7209e76)
changing ensure_sort_datatype call in narrowing quickcheck (missed in 1491b7209e76)

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle