check for infinite loops