  The computation of renormalized one-loop amplitudes in quantum field theory
requires not only the knowledge of the Lagrangian density and the corresponding
Feynman rules, but also that of the ultraviolet counterterms. More in general,
and depending also on the methods used in the actual computation of the
one-loop amplitudes, additional interactions might be needed. One example is
that of the R2 rational terms in the OPP method. In this paper, we argue that
the determination of all elements necessary for loop computations in arbitrary
models can be automated starting only from information on the Lagrangian at the
tree-level. In particular, we show how the R2 rational and ultraviolet
counterterms for any renormalizable model can be computed with the help of a
new package, which we name NLOCT and builds upon FeynRules and FeynArts. To
show the potential of our approach, we calculate all additional rules that are
needed to promote a Two Higgs Doublet Model Lagrangian to one-loop computations
in QCD and electroweak couplings.
