let
getAEs sid =
try
Some
(
AvailableExps
.
StmtStartData
.find sid)
with
Not_found
->
None