Change NodeStateProposal.cpp headers