Programmable design of isothermal nucleic acid diagnostic assays through abstraction-based models