Add implies() method adapted from Minisat.