Adding support for LTL model-checking in symbolic backend.