Made debug launching more generic
Step instance now created less harcodedly
Display correct truth information for while loop
Now also displays correct evaluated step lines
Also track assignments