Added comments,a small change in getRandomFormula

In forall and exists case the next term should be a variable not a
function so since we represent variables with numbers I removed the chr
from show.