Structured Problems for Modal Satisfiability Testing ∗ ( Preliminary Report )