Symbolic Execution in Ruby