Structured problems for modal satisfiability testing