WyC: inserted a hack to handle printing of methods with explicit receivers.