On SAT-applicability to High-Level Testing