Code Obfuscation Against Abstract Model Checking Attacks