occursIn n (UninterpCall e1 e2) = (not . null) $ filter (== True) $ map (occursIn n) e2
occursIn n (UninterpCall e1 e2) = (not . null) $ filter (== True) $ map (occursIn n) e2
occursIn n (UninterpCall e1 e2) = (not . null) $ filter (== True) $ map (occursIn n) e2