* Added pre-condition that there be a head for right-arc
* Fixed bug in D oracle