Code Editor : subsumes.t