Addded assumeBiu to tests