Refinement Module (WN)

added depth limit to generalizations