add a dummy constrait inst