Open mabdi opened 4 years ago
If the expression is an accessor remove assertion completely, else extract it.
as a first step, first I try to remove asserts. if the result is an empty body, I use extract.
If the expression is an accessor remove assertion completely, else extract it.