Implemented check-proposal
Merge branch 'scheduling' of github.com:se1-1314/xiast into origin-scheduling
Old code removed