Inferring linear invariants with parallelotopes