tosem: Add grounded properties

 * Add grounded properties generation from propertyId
 * Advance a bit in backbone function
 * Fix incorrect parsing of node+edges in z3 parser api