correction which rule and SVP /relex2logic
Merge branch 'r2l' of github.com:/rodsol/relex into rs