use atoms from partial instance when translating back from alloy to arby instance