3/11/2014: more logic for keeping track of method definitions.