infer

[textual] Add undefined types from expressions to tenv

[clang] In the mockpointer substitution preanalysis remove the macro location from the new call

Change the location of lineage edges that go into procedure formal Return

[unnecessary copy] Enable const-refable and optional copy issues

[topl] Added tests for reachability