Just-In-Time Piecewise-Linear Semantics for ReLU-type Networks