Added method trace, state carving for primitives and non-primitive types