Support of constraints for properties
example updated