Current implementation of SWORDS can treat only one C file as an input. It would be desired to handle multiple source files and header files as input.