include preprocessing (simplification)