Avoid spurious choice-points when translating `info/1-2` directives