Annahmen als Constraints und Assumptions (LBCC Template)
Constraint