[endreman0]

Pseudocode for that check:

For each vertex
If the vertex isn't covered, return false (not covered)
End for
Return true (covered)

In which case, that for-loop would never run, and it would skip straight to return true. So you're in the clear!