tactics parsing for CVC presentation language