Added the ignored invalid test cases to test the interpreter with
verification.