What is there a reason for checking isTypeAsserton here?