Add some tests for proguard