Added constraint variables