topCla(enzyme_state-{EC_Number,no_change},[]):-!.
topCla(enzyme_state-{EC_Number,State},[enzyme_state(EC_Number,State)]).

/*
topCla(enzyme_state-{EC_Number,no_change},[]).
topCla(enzyme_state-{EC_Number,State},[enzyme_state(EC_Number,State)]):- State\==no_change.
*/