tiny cleanups, test sat operation in ivas path