Hi,
We found that PigChaseSymbolicStateBuilder sometimes returns wrong state information, either agents (or pig) disappear, or the agents at wrong places after executing a moving action.
For example the below figure. At the second last state, the pig and the two agents are there, but in the last state only Agent 2 appears (Agent 1 and the pig disappear). Is this a bug?

Best,
Mengchen