Improve tests for isImplemented