improve simulatedBindings unwrapping, include doctest