finalArrayLength db imps su (ID (Name nm) _) = if (length nm == 1) then True else 
                                               case (last nm, tp) of
                                                   ("length", Array _) -> False
                                                   _ -> True
        where
            [tp] = typeLinkingName db imps su (Name (init nm))
finalArrayLength db imps su (ID (Name nm) _) = if (length nm == 1) then True else 
                                               case (last nm, tp) of
                                                   ("length", Array _) -> False
                                                   _ -> True
        where
            [tp] = typeLinkingName db imps su (Name (init nm))
finalArrayLength db imps su (ID (Name nm) _) = if (length nm == 1) then True else 
                                               case (last nm, tp) of
                                                   ("length", Array _) -> False
                                                   _ -> True
        where
            [tp] = typeLinkingName db imps su (Name (init nm))