def contract_post_parent=(check_depth, return_value, foo)
  self.contract_ensures_parent=(return_value, foo)
  if check_depth == false || Contracts::CLASS_DATA.call_depth == 1
    self.test_invariant_contracts("parent=(foo)")
  end
end