let
abort s = raise (
Calculus
.
InvalidModel
s)