* [STCN] 1. Predicates now have namespace stcnv. 2. for three properties the values are seperately asserted. 3. STCN code updated a lot, towards a fully automated script.