change TermCons to KApp in AddInjections