Annahmen als Constraints und Assumptions (LBCC Template) ()