[abmReasoning]

remove travis warnings (int -> unsigned int)