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