adding better debugging when there is a concurrent modify in jasmin output