minor clean-up
new method added to Machine, searching for candidate operators. Clean-up in operator
outputTrace duplication corrected
Router minor correction