let
userdef_ref_signature (_:mem) :(
F
.var * logic_var * formal ) list = []