Fixed bug where goal priorities should be disabled in deadlockpattern detection mode