termination: *SpentLimit cannot be negative