Added vardef back into semanalyze