delete invariant.d