added hnf in sep expr lookup, some idtacs for debugging