Add testcases for check the results when change the order of with implem...

...ents/withTraits