let abort s = raise (Calculus.InvalidModel s)