fix(tools/proofchecker/checker): add TIME_PRECISION to parser
fix(tools/proofchecker/checker): add TIME_PRECISION to parser