sig val initialize : Satproc.ident -> Satproc.entries end