Update iFSM.js

patch on the push/pop behaviour