fix(tools/proofcheck/checker): use marctan instead of matan