make get-instance-name handle relex2logic output from relx and human inputs