Code Editor : common_verification_problems.txt