Syntax error on line 46: Syntax Error in invariant Expression.
    invariant safety_property_1 : (warn -> !buckled);
