C Instrumentation Framework

During reimplementing of 43_1a model after #3802 implementation it was noticed that a new version of model doesn't work. In fact this is due to incorrect matching for any parameters wildcard with typedef names. The minimal example I could obtain is
test4.c:

typedef short S;
typedef int I;
static inline void *func(S a, I b)
{
  return a ? &a : &b;
}

test4.aspect:

before: execution(static inline void * func(.., I arg2, ..))
{
  return 0;
}

(it is important that function argument types are typedefs and there is trailing '..' at the end of function signature in pointcut).