The execute button in TryWhy3 no longer works
When pressing the "execute" button, TryWhy3 complains: "No main function found" (even when there is a main
function), which makes the feature completely uselles. This is a regression with respect to TryWhy3 1.3.