Fix hasArgs to remove global variable binding note during CHECK