Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs (Logical Methods in Computer Science, 2019)