making narrow-lk return either refl or sdc. some gym to get around output factoring issue in sel2
get rid of trustmes introduce by output factoring gym of previous commit 4d74eab