Parsing sdf into tcx