found a isProtototype in semantics