A logical framework for detecting anomalies in drug resistance algorithms