add context into the blame record for struct-type-property/c
and use the standard contract printer
add missing argument