#4 対象となる項に等号の左辺の項が出現している時のみmguを得るようにrec-matchを修正した