ecnf-ws / OperatorOverloading