Inlinet noen metoder slik at predikatene er i stream-koden