Poster: Symbolic Execution of MPI Programs