Rename single-path symbolic execution benchmark