finished initial implementation of civl verification program, yet met lots of bugs in civl. Pausing...