implemented FormalUsage()
Assumption tests