When simplifying ITE, distinguish between array terms and other terms.
Added a testcase that causes a FatalError without this patch.
Merge pull request #75 from s-falke/fix_array_ite

When simplifying ITE, distinguish between array terms and other terms.