debugMStep for value definitions: improves pretty printing when debugging