Debugging the Assimulator