oncompletion predicate finalised

bug fixes around reprocessing of productions