`ex->semantic(sc)` seems odd here since you've already called it before in line 451?