Make CoreToStg a little more robust to eta expansion