Results 2 comments of Ian

I am having exactly the same problem, did you manage to resolve it?

is 'all_pushed' always the same as 'all_states'?