Generation of Invariants, -- Theories of Programming and Programming Languages -- Random