Constraint characterization and degree of freedom counting in Lagrangian field theory | Synapse