Return statements are now checked for consistency.