VOR, that's basically what I was talking about. I realize that the FIFA Laws of the Game are used as a guide. But the big rules are typically followed to a T, are they not? As in the pushing from behind in the penalty box. The foul is a Direct Free Kick offense - in the box, so it's a PK.
Pushing, tripping, kicking, etc., are all Direct Free Kick offenses - I can't imagine any league anywhere would use a different ruling for those fouls.