arinc: handle library functions in special to speed up the analysis