Maybe add a comment here to state that OpenMP regions prevent any form of Forward Substitution?