Add effect checking of instance and static initializers
Revise checking of initializer effects