Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy by Liò Pietro, Bracciali Andrea, Sorathiya Anil