Add LhsFixedTheoremQueue in cartographer.infer