eval_musec :: Int -> S.T -> IO (Maybe Integer)
eval_musec mu t = timeout mu $ evaluate $ eval t
eval_musec :: Int -> S.T -> IO (Maybe Integer)
eval_musec mu t = timeout mu $ evaluate $ eval t
eval_musec mu t = timeout mu $ evaluate $ eval t