Add tests for the FTA constructor.