Add super basic tests for 2-sat.