problem of input and output with multiple predicates
- removing -> from lpi to make work means running interpretbody twice
- requires algorithms to use ->, not rely on predicates