bug-fix for ArrayDimensionConverter.visit_Procedure() and a couple of missing imports.