[attrs] Extract the pure inference of function attributes into