@User Why would it be non-causal? It should be according to the timing graph topology and computation of arrival times... A negative arrival time is fine.