At this point, it is really up to you which debugging environment and strategy you prefer to use to debug the original
model.