def distinct_pos(s):
    """Returns the amount of distinct positions that are present in the goal"""
    seen = set()
    pos = 0
    for atom in s:
        key = atom.val()
        if key not in seen:
            pos += 1
            seen.add(key)
    return pos