fixed comparison opearators generation
more verbose error output
check method redefinition