if readimptypes:
                if line.strip() == "" or '[' in line: # end of impropertypes section
                    readimptypes = False
                else:
                    tmp = line.split()