Add SysML Constraints Checker to Eclipse product specification