Qualitative reasoning for AIDS treatment