Compiler and runtime of the Smten language for functional programming and orchestration of SMT queries