Add null implementation (with transitive relation and cuts on it).