Create a separate decision language specification; simplify decision structures in the main TP model.