Use size() instead of _lits.size()