updated rules for exceptional cases
reviewed code for Java analysis + fixed issues described in notes-AC.txt