.. emit warnings for correct yet unjustifiable assertions