inclusion of jrealizability option in main