question: public boolean isBannedMethod ( String sig ) { return banned_methods . contains ( sig ) ; }
target:  Used by the specification create to check if a method is legal to put in the  spec.  Must check the method, and all superclass definitions of the method.