Failed! Deleted File commit.cocci