对工件进行切断可以在锯床上进行，也可以在铣床和（）床上完成。

A．镗床 

B．车床 

C．拉床 

D．刨床

阅读下列案例材料，然后回答问题。
被告人张某，因犯盗窃罪被某县人民法院判处有期徒刑12年。被告人张某不服，以一审严重违反诉讼程序和量刑过重为由提起上诉。县人民检察院也认为量刑畸重，但未提起抗诉。第二审法院经过审理，认为一审的确严重违反诉讼程序，但是考虑到原判决量刑恰当，故裁定驳回上诉，维持原判。二审裁定生效后，被告人张某仍然不服，继续向人民检察院申诉，该县人民检察院受理审查后，认为申诉有理，遂向原一审人民法院提起抗诉。
[问题]
本案诉讼程序是否有违法情形若有，请指出并简要说明理由。