PosInfoProp: setNilAtPreservesEval′′, setConsAtPreservesEval′′