Adds more instance-checking tests