Angefangen mit implementation des Top-Levels (solve_csp)