ELBO test with constraints