A case against currying

Typechecking mCRL2

Biconnected components