Support for correct uses finished
Incorrect uses can still go through weaving with no exception thrown. This needs to be fixed.