Removes redundant strlen call since str(n)cmp does it too.
It would be clearer to reorganize this.
I think "Length" is uninitialized along the "else" path? Or am I missing something?
It's not enough to check that the Strlen is a call to strlen; you also have to prove the memory isn't modified between the strlen call and the strncmp call.