DE18840: subtract initial final state count from remainder
Merge pull request #20 from RallySoftware/DE18840

DE18840: subtract initial final state count from remainder