The coupling logic between electric scooters and charging stations is an absolute mess in terms of flow and reliance on invariants. Debugging it is painful as there are a million checks for invariants and lots of methods that try to do one thing but also do other things in the process.