add analysis for "x = foo()" statement