This procedure for constructing Courant algebroids from Lie algebroids is particularly natural in manifolds with a foliation,
as described by Vaisman in [1]}.
The following result is essentially Proposition 3.1 in [1]} (see also [3]}):
