#isHaltNode is an extension method if NewTools-Debugger. This PR moves it to the AST package.NOTE: after this is merged, we need to commit the change to the NewTools repository, too