symbolic_patch_analyzer