Equivalence of conservative, free, linear program schemas is decidable