wip on TermConsToKAST