Influence-Guided Concolic Testing of Transformer Robustness