fix bound variable propagation for refers-to propositions