Node relativization. Needs state to be broken out and correctness testing