Check instance class name and index. Check the body of the methods.
Add two tests on instance declaration.
Check instance member names, they must be declared in the class.
Check the well-formedness of the mapping between instance and class members.