Add new cbmc regression tests to the script for deleting failing smt2 tests

Author: danpoe

scripts/delete_failing_smt2_solver_tests

@@ -169,6 +169,11 @@ rm no_nondet_static/test.desc
 rm pipe1/test.desc
 rm pointer-function-parameters/test.desc
 rm pointer-function-parameters-2/test.desc
+rm pointer-function-parameters-struct-mutual-recursion/test.desc
+rm pointer-function-parameters-struct-non-recursive/test.desc
+rm pointer-function-parameters-struct-simple-recursion/test.desc
+rm pointer-function-parameters-struct-simple-recursion-2/test.desc
+rm pointer-function-parameters-struct-simple-recursion-3/test.desc
 rm read1/test.desc
 rm realloc1/test.desc
 rm realloc2/test.desc