Finishing semantic analyzis.