Debugging proposer