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