Don't forget to transform head of clause when using the same home node.