Delete tests files that have no k
Add the script used to add k annotation to tests.
Add tests from fmcad with k annotation to new_backend branch