Add constraint for circuit size for Lab 1