Added derive-otherwise, but it isn't called yet.
Fixes for backward-in-forward inference.