Properly determine free variables of a property

Fixes a bug related to the rotate example