cache allJudgments

Change-Id: I0480ed875546a2819bb70ac3ef91abd75d922fea
[Issue 9] check for duplicate auxiliary functions

Change-Id: I9a0b886385f2f5ff21bc5da079934e5afeebdac4