AssureNote is an Assurance Case Editor