Redirecting to /tutorials/main/04-00-advanced-features/04-01-assertions-and-contract-programming.html...