Syntax error on line 46: Syntax Error in invariant Expression.
  invariant temp_within_bounds :
