Changed scheduler to loop over a goal and its coreqs as long as goals are being reached rather than adding the coreqs and the goal to the worklist and rerunning them later.  This reduces the size of the worklist considerably and avoids spending huge amounts of time processing goals in the worklist that can't yet be attempted.
Changed scheduler to loop over a goal and its coreqs as long as goals
are being reached rather than adding the coreqs and the goal to the
worklist and rerunning them later.  This reduces the size of the worklist
considerably and avoids spending huge amounts of time processing goals
in the worklist that can't yet be attempted.

liujed/polyglot-eclipse,liujed/polyglot-eclipse,liujed/polyglot-eclipse,blue-systems-group/project.maybe.polyglot,blue-systems-group/project.maybe.polyglot,blue-systems-group/project.maybe.polyglot,liujed/polyglot-eclipse,xcv58/polyglot,xcv58/polyglot,blue-systems-group/project.maybe.polyglot,xcv58/polyglot,xcv58/polyglot