using sets for called function
Merge branch 'master' of github.com:vmurali/ModularBsv
MUST CHECK THIS - REMOVED ALL THE PRELUDES FROM CALLED FUNCTIONS