Print Assumptions hylo_fusion_l.          Closed under the global context
Print Assumptions mss_calc.               Closed under the global context
Print Assumptions qsort_times_two_calc.   Axioms: PrimInt63.int, ltb, mul
