add semi-utomated test for and3