support a case without topgoal