FsCheckAddin added