Add proof of existence trace map into reflexive hull