--Exclude the bound variable
occursIn n (ArrAccess e1 e2) = (e1 == n) || (occursIn n e2)
occursIn n (ArrAccess e1 e2) = (e1 == n) || (occursIn n e2)
occursIn n (ArrAccess e1 e2) = (e1 == n) || (occursIn n e2)