Support interpolation of non-arrays in array logic

Only return unsupported if the proof of unsatisfiability contains
an array axiom.