Towards the decidability of the theory of modules over finite commutative rings