This function returns all inferred constraints of the given sketch.
extern int UF_SKET_ask_inferred_cons_of_sketch (
tag_t sketch_tag,
int * num_cons,
tag_t ** con_tags );
tag_t sketch_tag Input Sketch object tag.
int * num_cons Output Number of inferred cons.
tag_t ** con_tags Output Array of inferred cons.
Use UF_free to deallocate
the memory when done.