Changed homogeneous to xactionVariety

That flips logical meaning.
Also added more assertions.