The Leon server appears to be unreachable right now.
Leon failed to contact the mothership :(
It usually indicates that your firewall blocks traffic on websocket ports.
Leon verifies the validity of all the verification conditions found in the selected function.
Leon checks if the selected function terminates for all inputs.