iSplitL no longer checks if assumptions are spatial
The following used to fail with an error saying that "HP"
is not a spatial assumption, now it just succeeds but still puts "HP"
on both sides:
Lemma iSplit_intuitionistic P :
□ P -∗ P ∗ P.
Proof. iIntros "#HP". iSplitL "HP".