Program with constraints is added