Delete Stump_definitions.v