Add func call utility
Add def-use-chain and testing nestedif and nestedwhile statement