SMACK: A Modular Software Verification Infrastructure