OrientDB: on deletion of a deleted graph element now returns an IllegalStateException