return statement at the end of bilat_scm_riemann_nl causes SIGABORT