replay-symbolic: s2e_print_expression API update
replay-symbolic: use regexp for PC matching