Compiling Delay Claims