Remove ve.isMixedIn(), it's unused and it's evil

Change-Id: I5a5fc4c8eb56530dbac3bc32122faf20b8c92aa5