This patch introduces initial AAValueSimplify which simplifies a value in a context.
example
- (for function returned) If all the return values are the same and constant, then we can replace callsite returned with the constant.
- If an internal function takes the same value(constant) as an argument in the callsite, then we can replace the argument with that constant.
Can we add more description for the parameters here and maybe rename ExistNone to something more descriptive wrt. what that means.