Added a theorem that evaluate_top can't timeout error