FRET incorrectly displays that Jkind engine option is not enabled (Realizability) #148
Description
If the Realisability has not been checked, FRET will tell you that Jkind is not enabled, even though the true issue is that the component hasn't been checked yet. This honestly stumped me for a while for the first time using FRET and it's not very UX friendly.
Confirmation of engine:
Before checking component:
Versus when the component has been checked:
