Fix ABIChecker to cover the corner case (#442)