rta: add_monomorphic_send mark the mproperty as live