Tests covering smaller units of code within uflacs.
