Trade-pro - KLEE/DECL