tactics infrastructure
tactics parsing
tactics parsing for CVC presentation language