fixed bug in semantic analyzer
fixed bug in method reduction