Variable names made more meaningful
Using more appropriate types where possible
Horn clauses used where possible to clarify program flow