Add test_args test for BooleanAtom