Lines Matching refs:FUNCTION_INVARIANT