def test_add_constraint():
    c1 = ("dog", "in front of", "frog")
    exp = Experiment(["dog"])
    exp.add_constraint(c1)
    assert exp.animals == ["dog", "frog"]
    assert exp.constraints == [c1]