use Set instead of Seq to collect fresh vars and requirements