symblic_string_prover