VerifIEr - Code Checking for CA Gen