Updating the feasibility checker to enumerate the governing condition
for each node