ByNobleID
    Inferring assertion for complementary synthesis | NobleID