Predeterminism in Alex Garland's DEVS