Integrate SOM reachability analysis with model instantiation

[lwrage]

Please describe the problem your proposed feature would address
SOM reachability analysis is separate from instantiation. Ideally, it should be integrated such that instantiation does not generate unreachable SOMs.