デフォルトのデルタをデメテルの法則を満たすように変更した．CustomerManagement の PUSH版は，relation を使わないと正しくコードが生成できない．