Test CI - Coq Num Analysis