Algorithm 1. Untrapped set

for all x in A do

if $Pre{d}_P\left(x\right)\subseteq C{l}_P\left(x\right)$ then

$x\in WUt\left(R\right)$

end if

return $WUt\left(R\right)$

end for