Vectorized lig_elems, sln_elems and cnf_elems