let
set_precond pmap =
Datatype
.
String
.
Map
.add
DoCalledPrecond
.name
true
pmap