Adding support for unbounded vars. Got trivial case of single unbounded var in fact and condition working.