Inclusion now quick, working on constant graphs inclusion
Testing assignment generation