Make the automatic keyword shortcut registration consider parameters
Adjust the style of conditional expressions and if statements
Add some example code for the VLHCC2013 paper submission
Fix an incorrect code contracts example