add type check on Is-Assertion