added error handling
nonnormal argument implemented in the print method
added multivariable stratification support
description of its origin in Deducer