changed definition of clinit variables to mean that *all* variables must be involved in clinit