Loading: Converting CPTL to CPTX