def decode_result(found):
 return {True: 'Countermodel found', False: 'No countermodel found', None: 'None'}[found]

def decode_result ( found ) : return { True : 'Countermodel found' , False : 'No countermodel found' , None : 'None' } [ found ]
decode the result of model_found() .