Fix for parameter handling: 'restrict' keyword and const after typename.
Throw error when 'else' for 'if' cannot be found.
Adapted unit-tests to reflect recent changes in ArgumentTainter and handling of function return values.