Add disequation tests.

Forgot these from the previous commit.