Modify SMACK manifest and remove SMACK rule file(.rule) according three domain model