Implement a method to Map a LTS to a KS Structure.
Implementing CTL