Cardinality validation query selects wrong column

[Ereski]

In the following example:

Term: bar

Term: foo
    Concept Type: Integer (Type)

Fact Type: bar taints foo
    Necessity: each bar taints at least one foo

sbvr-compiler generates the following validation query:

SELECT NOT EXISTS (
        SELECT 1
        FROM "bar" AS "bar.0"
        WHERE NOT EXISTS (
                SELECT "bar.0-taints-foo.1"."foo"
                FROM "bar-taints-foo" AS "bar.0-taints-foo.1"
                WHERE "bar.0-taints-foo.1"."bar" = "bar.0"."id"
        )
) AS "result";

The innermost query selects bar-taints-foo.foo, which does not exist. The correct column is bar-taints-foo.taints-foo.