High-level condition expression transformations for design exploration and impoved synthesis of an arithmetic coder