OptCoercion
optCoercion
checkAxInstCo