Added checks on ensures.