Clear all propositions upon resynthesis.