adds casts to the generated intervention