nialogic: minor cleanups to proof tests