expand ts/and to empty inputs
No error if variable found more than once and silence
modified ts/horzcat
update of reconvexification in Alpha version