Updates nextMove and ia predicates