Added examples for string2MTree. corrected method signature of P72.
Merge remote-tracking branch 'origin/specs-only'
Solved problems P70 to P73.