Arne Keller

Similar to #992

For new (non-UI) functions, I think at least the following should be required: - Unit Tests for functions that can be unit tested - Integration Tests for all other functions...

It does work with the new Loop Scope rule (see #1495)

I think the issue occurs when a block or loop contract does not have any "functional contracts" set up. If there are any contracts, they are correctly registered and saved...

Same as #834

Still an issue. The old proof file does not load, here is a new one: [bug.zproof](https://github.com/KeYProject/key/files/12237155/fixed.zproof.zip)

I found a stacktrace in logcat: ``` Widget host dead: HostId{user:0, app:10192, hostId:2131296295, pkg:com.benny.openlauncher} android.os.DeadObjectException at android.os.BinderProxy.transactNative(Native Method) at android.os.BinderProxy.transact(BinderProxy.java:571) at com.android.internal.appwidget.IAppWidgetHost$Stub$Proxy.providersChanged(IAppWidgetHost.java:237) at com.android.server.appwidget.AppWidgetServiceImpl.handleNotifyProvidersChanged(AppWidgetServiceImpl.java:2083) at com.android.server.appwidget.AppWidgetServiceImpl.access$1800(AppWidgetServiceImpl.java:146) at com.android.server.appwidget.AppWidgetServiceImpl$CallbackHandler.handleMessage(AppWidgetServiceImpl.java:3687) at android.os.Handler.dispatchMessage(Handler.java:106)...

And another: ``` FATAL EXCEPTION: main Process: org.fossify.home, PID: 15602 java.lang.RuntimeException: Unable to stop activity {org.fossify.home/org.fossify.home.activities.MainActivity}: java.lang.NullPointerException: Attempt to read from field 'com.android.server.appwidget.AppWidgetServiceImpl$ProviderId com.android.server.appwidget.AppWidgetServiceImpl$Provider.id' on a null object reference in...

That emoji was added in Unicode 11, this crate only supports Unicode 10. (Development of this crate has stopped, seemingly.)

One advantage of the SequentFormula wrapper is that it is a bit harder to mix up top-level terms and subterms (newtype pattern).