Print.Result
back to invariant
pretty print indentation and minor fixes to parser