Suspicious string comparison: Refactoring using AST. Fixed FP in Lac.