Figure out what to do with synthetic classes in checkMutableInstanceHasNotAlreadyBeenUsed

[theangrydev]

The current definition of mutable (only static fields) is not enough, need to expand it to something like only final fields.