How to Avoid Traps in Contracts for Software Factory