Inlining.Default
val default_arguments : inlining_arguments
val speculative_inlining_only_if_arguments_useful : bool
val speculative_inlining_track_lifted_constants : bool