keep the likely_result name but implement the desired ast ==> mat conversion