is_spanning_tree function for checking feasibilty; first draft of lazy
constraints (not yet working) in opt solver