Wrap assignments into where clauses to prevent current term from being modified. This fixes property sites not working with propositions that would assign variables.