automatically add input and output sets for specification compliance