Example HPF code illustrating Independent as an assertion.