Constraints on object properties

[onsetsu]

Right now, we are limited to local variables to be referenced in constraints, due to the limitation of the source code transformation.

As the constraint library wrapper is already ready to deal objects and a property, we should extend the rewriting to those.