Two minimal (non-OO) examples in ladim/minimal