Test PLEXIL plan for directed symbolic execution