Print reason of failed assumption