Add more EQC tests to noesis_lists