ProgramFacade: method extracting