Issue #33 (rewrite-abstract/rewrite-refine fail when refinement/abstraction affect terminals): Added tests to validate the issue.
Issue #33 (rewrite-abstract/rewrite-refine fail when refinement/abstraction affect terminals): Added tests to validate the issue.

otherwiseopen/racr,2bt/racr,otherwiseopen/racr,otherwiseopen/racr,christoff-buerger/racr,otherwiseopen/racr,2bt/racr,2bt/racr,2bt/racr,2bt/racr,otherwiseopen/racr,christoff-buerger/racr,christoff-buerger/racr,2bt/racr,otherwiseopen/racr