Property definitions

nitc $ MExplicitCast :: check_cname
	fun check_cname: String do return "{from.mangled_cname}_is_a_{to.mangled_cname}"
src/nitni/nitni_callbacks.nit:266,2--81