Some possible graphs for a ProgramOr were missed. Added evalBlock max ds b2 gs to cover them.