sig   type state   val initial_state : unit -> Initialization.S.state Bottom.Type.or_bottom   val initial_state_with_formals :     Cil_types.kernel_function -> Initialization.S.state Bottom.Type.or_bottom end