optimize the infection analysis: recording FAP that does not affect any arguments after checking