Define with a moduleID
Prevent infinite loop after backtracking.