Finish transform protocol bool expression to vrexpr and to termHandle