nitc :: MExplicitCast :: check_cname
fun check_cname: String do return "{from.mangled_cname}_is_a_{to.mangled_cname}"