Move eval_with_timeout to Full. Add spec