infracar_ prover=1 for dccar line settings