added disjointness axiom between splenic and celiac arteries. Issue #268