- Ported Tachyon runtime code for property enumeration