semantic analyzer done