Text this: Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems