Prequantum Transfer operator for Symplectic Anosov Diffeomorphism