successor state action axiom and causes
doodlopende gangen, op voorwaarde dat IsWall of Edge wordt aangepast