fixed a bug in evaluating the state of machines marked as GLOBAL