Added assumeBiu to tests