Don't reverse the list of variables when generalising properties