Gravar-mail: Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy