fix toString
fix PropKArcs
TC sample
Merge branch 'feature-tc' into develop