Making 'getSubstitutionVector' const -- because it should be
Coding style fix
Adding code for Rpl disjointness and Effect non-interference
Added basig Non-Interference checking for parallel_invoke [only works
with 2 arguments and only with class objects with an overloaded
operator() -- i.e., does not support 3..10 args, nor function pointers
nor lambdas, not yet]
Adding two new tests for parallel_invoke and moving existing tbb tests into
new tbb folder