savesAndLoadsTerm

fun savesAndLoadsTerm(): TestResult