Print a warning if there are unused propositions.