Links for NegaPosiAnalyzer