some of the helper functions and get-instance-name
 helper function choose-var-name and few other corrections
make get-instance-name handle relex2logic output from relx and human inputs