add more synthesis data (seems that I should change the rule)