Split VC : Bad session ITP ID
When performing twice a split_vc on a task in Why3 IDE, trying to delete the 2 splits causes the error :
There was an unrecoverable error during treatment of request:
get task(108,true,true)
with exception:
anomaly: Why3.Session_itp.BadID