JWSDP 2.0 and Fast Infoset Problems with examples