handle null successors
fix
remove SV-COMP infinite loop code
handle null successors