Add a new LibCallAliasAnalysis pass, which is parameterized