gotostatements are now added when the feature from the label and the feature from the goto are satisfiable together instead of requiring an implication
Merge remote-tracking branch 'origin/master'