Getting Rid of False Errors when Verifying LSI Designs Including Non-Determinism