Then, in the case cited (just to put a player offside), you're giving a penalty for a trifling offence in the context of players* being pushed, pulled and rugby tackled at corners with impunity.
Can of worms - what's a push, was it just pushing back, and for VAR another whole dimension: offside...