new constraint NoStateChange
fixing allocation