Extended SWN Solvers in GreatSPN