let subtyping = if !trace = NoTrace then !subtyping else begin if not quiet then Format.printf "Deactivating subtyping analysis for traces.@."; false end