Add feature for SysML Constraint Checker