Assertion when adding a constraint with a NULL body
Adding functions to conver bodies between static/dynamic.