moves infix application detection to prelimResult postprocessing

this should simplify interaction with adaptation reversions that will soon be under implementation