Exclude fault tree header files from Coverity check.
Input tests.