You have to follow the code down to where those matrices are used.
1478: AssembleA_Stokes(A,da_Stokes,da_prop,properties);
1479: AssembleA_PCStokes(B,da_Stokes,da_prop,properties);
This uses a "block preconditioner", the B matrix is intentionally different from the A matrix in order to handle the saddle point.