MoreCoq with more search