Propositions now get the origin set including themselves added when they are lowered to type Proposition.