Code Editor : precondition.js