refact simulator test code, and add missing file proposal.cpp