Debug Info: update testing cases to pass verifier.