Added missing return to 2-SAT