[abmReasoning]

remove warning int -> unsigned int