<?xml version="1.0" encoding="UTF-8"?>
<magicdraw><comment humanType="Comment" icon="uml_specifications_files/icon_1116046870.png" id="_15_5_1_bee0300_1233234276707_10676_3080"><annotatedElement humanName="Annotated Element" mode="standard,expert"><state humanType="State" icon="uml_specifications_files/icon_1124046256.png" name="Get constraining var info" refid="_15_5_1_bee0300_1233234143238_245979_3052"/></annotatedElement><body humanName="Body" mode="standard,expert">check if some information can be found via the constraining variable.
for example, if constraint is a content type and constraining variable size is known, then we can take a string of the same size (with possibly additional distance constraint)

Create a rule to check the variable content when all constraints are known. The rule will be called when analysing constraining var</body><owner humanName="Owner" humanType="State" icon="uml_specifications_files/icon_1124046256.png" mode="standard,expert" name="Get constraining var info" refid="_15_5_1_bee0300_1233234143238_245979_3052"/><owningElement humanName="Owning Element" humanType="State" icon="uml_specifications_files/icon_1124046256.png" name="Get constraining var info" refid="_15_5_1_bee0300_1233234143238_245979_3052"/></comment></magicdraw>