A=B Substring ProgramopenSynthesize a short A=B rewriting program for substring detection test families.program-synthesisstringsrewritingsubstring-ab-program-frontier-cs-algorithmic-23