Make correct finish condition for contrexpr factorial.