~ precond.NotNil was calling CheckNil; fixed