add some more unit tests which identify bugs related to BinRel