Modified but-for method for delay analysis