implement some register tests
fix incorrect 'is valid superposition' check