Check functional dependency is not broken by embeddings

[RobinWebbers]

Pull request #21 added the improved embedding interface. We have yet to check whether the functional dependency introduced by this is not broken by an embedding. It's not a super stringent problem, but we should just fix it regardless!