Remove test "same free variables" (fix #33).

This test made sense for alpha equivalence, but since
491eeb10f0597b19d7fa0280e17c75d5b414d238, we don't have
alpha-equivalence as a separate function. Instead, we use
alpha-beta-equivalence, which does not have the property
tested in this test.