Remove unnecessary kludge in IsCallee
Try to instantiate functions that call their arguments
Use ANull as a default return type for functions

Only create a real AVal when an actual return statement is seen.