Formula.threshold cannot be accessed

[sjunges]

Formula has a property .threshold which invokes calling a function that should only be called when a bound is present. Debuggers may want to display this property (which they do, e.g., if the bound was present before calling remove_bound) which leads to the debugger crashing.