* Fix sbd constraint
* Dubious bug fix to a problem introduced by the sbd stuff that i dont really understand
* Add sbd constraints to transitions