Refactoring - FSTContract -> FSTInvariant, Labeling