def check_bayes(alt_ab, alt_cd, ab, cd):
    """ Check the identifiability contraint
    :param alt_ab: list of alternative trajectories from AB
    :param alt_cd: list of alternative trajectories from CD
    :param ab: AB candidate
    :param cd: CD candidate
    :return: True if experiment is identifiable
    """
    for i in range(len(alt_ab)):
        if alt_ab[i] == ab:
            if alt_cd[i] != cd:
                return False
    return True