Validity of the formal Edgeworth expansion when the underlying distribution is partly discrete