leggow: solved silly infinite recursion, switched to create clause
wrappers-generator: removing useless postcondition