fixed one of the output methods
done with generic variable declarations
fixed an error in modifying the ensures clause with a generic type
now the debug buffer prints the negation of if's in the correct place
reformat the ? doesn't work at the moment
while statement rule
complete variable declaration rule
fixed a problem where vc details weren't set properly in the while statement rule