semantic: Correctly check const.