add variableset find unused variable
add strategies tests
fix Power print bug
fix NumberExponent, add strategies test for DistributionAddition and NumberExponent