prefactorization checking infrastructure started