IC.cup semantic changes