First test that shows correctness with respect to KU Leuven models