play around with symbol reification
implement class KnownSymbolicPath