let assertion = function
  | { status = Checked { valid = True } } -> Aassume
  | _ -> Aassert