* fix #13515 * only compile test * no idea why this PR is unlocking this * don't rope in symchoices * even more restrictive