Relaxed constraints on impTA results for static functions

Promissing...