I've definitely had a lot of these same experiences (in fact I've been fighting it on one particular issue the past couple of days and I'm pretty much just giving up and going back to solving it manually now).

But it still seems to get it right (or at least close enough to right that I keep using it) more often than it gets into these traps.