Add a default for propagateAccessCond