Added needed precondition_cv template