Rename instruction attributes for more compatibility with pymbolic.imperative