TestInHC4Revise: add test issue #70
InnerArith: fix bug #70. TestInHC4Revise: fix minor issues.
Merge branch 'hotfix-70'