don't output MAYBE-warnings for end states