There is no way to verify a (manual created) Controller to be such
Add a feature to support this (specially for checking nonblocking property).
Example (.lts attached):
- Controller (manually built): TV_CONTROLLER_NO_DET
- Domain: DOM_NO_DET
- safety = {G1}
- liveness = {TimePasses, G2}