// BUG: Negated if-condition