ast weed & cfg rule

- can now successfully check that class has at least one constructor
- added rule fixing `this.x = 123;` in `J1_publicfields.java`
- cleaned up Test.py a bit more