fixed mistake on cond
described translation of method calls