They do - it's used for planning in SharkSemanticAnalyzer