Proper test for translator

.github/workflows/translator.yml

pvs_patches/pvs2dk/pp-dk3.lisp

pvs_patches/pvs2dk/pvs.lisp

pvs_patches/pvs2dk/utils.lisp

tests/thy_translation/apply_theories.lp.expected

tests/thy_translation/call_import.lp.expected

tests/thy_translation/constant_param.lp.expected

tests/thy_translation/decvar.lp.expected

tests/thy_translation/eqtype.lp.expected

tests/thy_translation/expandeddefs.lp.expected

tests/thy_translation/exprastype.lp.expected

tests/thy_translation/instantiate_subtype_formal.lp.expected

tests/thy_translation/linear_form.lp.expected

tests/thy_translation/mixedup.lp.expected

tests/thy_translation/naturals.lp.expected

tests/thy_translation/prenex.lp.expected

tests/thy_translation/simple.lp.expected

tests/thy_translation/subtypethy.lp.expected

tests/thy_translation/tfrom.lp.expected

tests/thy_translation/thyp_type_val.lp.expected