filter all ints out of contextes (exp.no-int-context) and the slr+infl3 solver