@staticmethod
def get_ctr_name(filename):
    """Extracts the name of the constrains file name."""
    bracket_idx = filename.find('(')
    if bracket_idx == -1:
        print("+++ Error: no '(' in constraints [%s]", filename)
        assert False
    return filename[:bracket_idx]
