test fixed, exhaustiveAND test added