tycheck Constr