FirUnusedExpressionChecker's warnings. The return-value checker's are left alone: it follows more edges.