Function reify_genericT_from_call_argument

having a call `f($arg)`, where f is `f `, and $arg is `@param T[] $array`, deduce T for example, if an assumption for $arg is A[], then T is A this function is called for every generic argument of `f()` invocation