Allowing for an extension of BVA --> m_lits can contain lit pairs