adding constraints to symbol table