Separation_Logic_Unbounded.Combinability