added execution indicator
added ARERR to disjoint list