Add Constraint Base Analysis