format-check --rtg ../sig/TIL.rtg -i test1.atil -s Program 2> test1.atil.fc