New attempt to first compilation by example