Inner invariant extensions of Dirac measures on compactly cancellative topological semigroups