added verifier for ParFor, only run redundantloadelim when no fn calls