bugfix in ordering of forward and backward edges in scheduler