[refactoring] Moved the syntactic abstraction files to the ProjectFortress?/syntax_abstraction_tests directory.
