Check all unit tests results against the version of cduce in master. Many signature are syntactically different because of more liberal use of parenthesis.