trace expressions compiled from inferrer
https://github.com/dpolivaev/test-generation/issues/11