subeq syntax error fixed
2nd ZTC check
Fixed STUDENT undefined
3rd ZTC check
Fixed type mismatch Line 23
More screenshots
4th ZTC check
Fixed: president is a subset of committee
Follow up for last commit
5th ZTC check
Fixed type mismatch in 'members < MaximumClubSize'
6th ZTC check
Fixed: type mismatch in set union
6th ZTC check

And all the errors are fixed for now
More screenshots till no errors state