testing support for "*" __mul__ operator overloading
also changed visit_Return to try to detect the return type of a function, operator overloading needs this.