Added tactics for read, write, and assign to the symbolic execution.