comments, comments, comments
counterstrategy 'overgeneration' bug fixed
suppress debugging print statements
unrealizable corefinding with counterstrategy + sat solver