Implementation of SpecMethodMaker