What do you think about renaming this `executionHalted`?  My first thought when I saw the name was that it was a method because it was a verb phrase.