Modify SMACK manifest according three domain model

No match.