Sorry, I made mistake about mentioning "no MRS output. Actually, there is an output, but it shows "hcons < >". Since it doesn't have any handle constraint, it can't generate any strings, it says "maximum edge limit exhausted"
<br><br>Thank you.<br clear="all"><br><br>-- <br>-Altaf