Merge: Correct behavior of attribute reading in nitvm