fix defines patterns for liveness-analysis, after allowing pointers