The problem is the particular pruning scheme. As shown in Andreasen et al., pruning enlarges the state-space. In this case, the EMAS is characterized by three initial states instead of just one as in the Fernandez-Villaverde et al (2011) pruning. But you are currently initializing the pruned system with only one element of the enlarged state-space.