fix the Under-approximation dispatch encoding + fix naming of places' variables