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