FAST: Fast Acceleration of Symbolikc Transition Systems