Inconstant_identsval inconstants_on_program :
compilation_unit:Compilation_unit.t ->
backend:(module Backend_intf.S) ->
Flambda.program ->
resultval variable : Variable.t -> result -> boolval closure : Set_of_closures_id.t -> result -> bool