* Big fix to preconditions checking: had an off-by-one error at the end of the sentence, from a bit after i switched to root-at-end
* Replaced awkward add_amb_instance method, as that's better handled by combination of other methods. Added update instead