MoreCoq: Adds gen_dep_practice and gen_dep_practice_more.