added set with keywords, to be used for generating collision-proof names
handling of explicitInputs