null checks in propagation functions