Added new precondition parts for encapsulate property