Check linearity
Warn on unused assertion