Add TODO for SMIE