Works when timing is not considered. Failes in post-PNR simulation...