Simplify BasicInstanceChecks