CLN: check for instances not is with types