Code Editor : predicate.t