Using Graph Neural Networks for Timing Estimations of RTL Intermediate Representations.